Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
281	Linking Hanging Chain Models to Fabrication Axel Kilian, Ph.D. Candidate in Computation, Department of Architecture, School of Architecture and Planning, Massachusetts Institute of Technology, Cambridge, MA Abstract The Add to Reading List Source URL: www.designexplorer.net Language: English - Date: 2006-11-19 20:26:29 Analytic geometry Catenary Curves Exponentials Computational science Tensile structure Logic simulation Computer simulation General relativity Geometry Engineering Science
282	5 Representing distributions over strings with automata and grammars T Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:02 Computer science Applied mathematics Nondeterministic finite automaton Markov chain Probabilistic automaton Deterministic finite automaton Finite-state machine Automata theory Models of computation Theoretical computer science
283	ARTICLE IN PRESS J. Parallel Distrib. Comput–920 Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2007-02-18 10:44:58 Markov models Hypergraph Graph partition Markov chain Uniformization Matrix Continuous-time Markov process Parallel computing Sparse matrix Statistics Markov processes Theoretical computer science
284	A Universal Calculus for Stream Processing Languages Robert Soul´e1 , Martin Hirzel2 , Robert Grimm1 , Bu˘gra Gedik2 , Henrique Andrade2 , Vibhore Kumar2 , and Kun-Lung Wu2 1 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2010-03-22 18:17:38 Models of computation Denotational semantics Logic in computer science Μ operator CQL NDepend Stack Stream Relational algebra Computing Theoretical computer science Software engineering
285	JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Applied mathematics Computer science Directed acyclic word graph Deterministic finite automaton Algorithm Machine learning String searching algorithm DFA minimization Finite-state machine Automata theory Models of computation Theoretical computer science
286	Universal Processors David May Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-09-18 04:57:55 Models of computation Parallel algorithm Scalability Parallel Random Access Machine David May Concurrent computing Computing Parallel computing
287	Brains for Robots David May Bristol University and XMOS Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-01-10 11:57:37 David May Electronic engineering Electronics XMOS Models of computation Transputer Concurrent computing Data parallelism Parallel Random Access Machine Parallel computing Computing Microprocessors
288	Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-06-11 13:49:54 Abstraction Applied mathematics Computer science Programming paradigms Data management Abstract interpretation Deterministic finite automaton Formal verification Abstract object Automata theory Theoretical computer science Models of computation
289	Error matrices in quantum process tomography Alexander N. Korotkov arXiv:1309.6405v2 [quant-ph] 4 NovDepartment of Electrical Engineering, University of California, Riverside, California 92521 Add to Reading List Source URL: www.ee.ucr.edu Language: English - Date: 2013-12-04 21:10:28 Quantum mechanics Models of computation Matrices Quantum measurement Quantum circuit Quantum operation Quantum decoherence Quantum gate Quantum computer Physics Theoretical computer science Quantum information science
290	JMLR: Workshop and Conference Proceedings 34:167–181, 2014 Proceedings of the 12th ICGI Bigger is Not Always Better: on the Quality of Hypotheses in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Automata theory Statistics Models of computation Metric geometry Ultrametric space Statistical hypothesis testing Regular expression String Deterministic finite automaton Formal languages Theoretical computer science Mathematics

UPDATE